<?
// $Id: console.php 61 2010-11-26 23:16:01Z MartinS $

$accountSuffix='_7'; // This must be specified before including boot.php
$html_output = -1; // This must be specified before including boot.php
include("boot.php");
$editInitiator = '[null' . revisionID() . ']';
$page = $_GET["page"];

if ($page) {
  $contents = getRawWikiText($page);
  if ($contents) {
    write ($page, $contents, $editInitiator . " Performing null edit.");
    header("Location: " . $_SERVER["HTTP_REFERER"]);
    $timer = "0";
  } else {
    print "Error.";
    $timer = "10";
  }
  print '<meta http-equiv="REFRESH" content="' . $timer . ';url=' . $_SERVER["HTTP_REFERER"] . '">';
  print "<a href='" . $_SERVER["HTTP_REFERER"] . "' title='Return'>Returning to page...</a>";
} else {
  exit ("No pages specified\n");
}